set(ASAN OFF)
set(UBSAN OFF)
set(NONET ON)
set(PREFILL_PLAYER_NAME ON)
